Interactive Self-Healing for Black-Box Components in Distributed Embedded Environments
نویسندگان
چکیده
As self-management features of computer systems depend on self-knowledge we have to cope with the issue that most large systems are not entirely known to the self-management software. Especially when system parts are supplied by external companies which want to preserve their intellectual property we have to cope with black-box components. This paper presents a novel approach for self-healing in distributed embedded systems containing black-box application software. The interactive self-healing process is based on well defined system knowledge and enables the construction of a functional dependency graph which serves as basis for rule-based root cause analysis and self-healing.
منابع مشابه
Distributed Black-Box Software Testing Using Negative Selection
In the software development process, testing is one of the most human intensive steps. Many researchers try to automate test case generation to reduce the manual labor of this step. Negative selection is a famous algorithm in the field of Artificial Immune System (AIS) and many different applications has been developed using its idea. In this paper we have designed a new algorithm based on nega...
متن کامل(inter-)action Refinement: the Easy Way1
We outline and illustrate a formal concept for the specification and refinement of networks of interactive components. We describe systems by modular, functional specification techniques. We distinguish between black box and glass box views of interactive system components as well as refinements of their black box and glass box views. We identify and discuss several classes of refinements such ...
متن کاملAOCI: Weaving Components in a Distributed Environment
Mobile and embedded devices like PDAs, mobile phones, and all kinds of consumer hardware populate the world we live in. Despite the vision of ubiquitous computing and its idea of spontaneous interaction among these devices more than fifteen years ago, most of them are still isolated and restricted in their interaction capabilities. One reason for this limitation is the poor support for dynamic ...
متن کاملExecutable Interface Specifications for Testing Asynchronous Creol Components
We propose and explore a formal approach for black-box testing asynchronously communicating components in open environments. Asynchronicity poses a challenge for validating and testing components. We use Creol, a high-level, object-oriented language for distributed systems and present an interface specification language to specify components in terms of traces of observable behavior. The langua...
متن کاملALICE: An Advanced Logic for Interactive Component Engineering
This paper presents an overview of the veri cation framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software or hardware component is speci ed as a state-full black-box with directed communication channels. Components send and receive asynchronous messages via these channels. The behavior of a component is generally describe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006